Module containment property for linear equations
نویسندگان
چکیده
منابع مشابه
On the Containment Problem for Linear Sets
It is well known that the containment problem (as well as the equivalence problem) for semilinear sets is log-complete in Πp2. In this paper, we show that already the containment problem for linear sets is log-hard (and therefore also log-complete) in Πp2. This holds even when we use a unary encoding for the numerical input parameters or when we restrict the problem to 1-dimensional linear sets...
متن کاملModified homotopy perturbation method for solving non-linear oscillator's equations
In this paper a new form of the homptopy perturbation method is used for solving oscillator differential equation, which yields the Maclaurin series of the exact solution. Nonlinear vibration problems and differential equation oscillations have crucial importance in all areas of science and engineering. These equations equip a significant mathematical model for dynamical systems. The accuracy o...
متن کاملA matrix LSQR algorithm for solving constrained linear operator equations
In this work, an iterative method based on a matrix form of LSQR algorithm is constructed for solving the linear operator equation $mathcal{A}(X)=B$ and the minimum Frobenius norm residual problem $||mathcal{A}(X)-B||_F$ where $Xin mathcal{S}:={Xin textsf{R}^{ntimes n}~|~X=mathcal{G}(X)}$, $mathcal{F}$ is the linear operator from $textsf{R}^{ntimes n}$ onto $textsf{R}^{rtimes s}$, $ma...
متن کاملBifurcation Problem for Biharmonic Asymptotically Linear Elliptic Equations
In this paper, we investigate the existence of positive solutions for the ellipticequation $Delta^{2},u+c(x)u = lambda f(u)$ on a bounded smooth domain $Omega$ of $R^{n}$, $ngeq2$, with Navier boundary conditions. We show that there exists an extremal parameter$lambda^{ast}>0$ such that for $lambda< lambda^{ast}$, the above problem has a regular solution butfor $lambda> lambda^{ast}$, the probl...
متن کاملA Parallel Hierarchical Algorithm for Module Placement Based on Sparse Linear Equations
We present a fast and eeective module placement algorithm which is based on the PROUD algorithm. The PROUD algorithm uses a hierarchical decomposition technique and the solution of sparse linear systems of equations based on a resistive network analogy. It has been shown that the PROUD algorithm is suitable for solving the placement problem for very large circuits , and obtains placement qualit...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Differential Equations
سال: 2008
ISSN: 0022-0396
DOI: 10.1016/j.jde.2007.10.006